Kekardinalan (cardinality)Ukuran bilangan unsur dalam sesuatu set. Kekardinalan bagi set A {\displaystyle A} ditulis ∣ A ∣ {\displaystyle \mid A\mid } .Kesatuan (union)Kesatuan bagi set A {\displaystyle A} dan set B {\displaystyle B} (ditulis A ∪ B {\displaystyle A\cup B} ) ialah set yang mengandugi semua unsur dalam A dan semua unsur dalam B.Kesatuan tak bercantum (disjoint union)Kesatuan tak bercantum bagi set A {\displaystyle A} dan set B {\displaystyle B} (ditulis A + B {\displaystyle A+B} ) ialah set yang mengindeks semua unsur dalam A {\displaystyle A} dan semua unsur dalam B {\displaystyle B} mengikut set asal mereka.Kodomain (codomain)Kodomain bagi fungsi f : X → Y {\displaystyle f:X\to Y} ialah set Y {\displaystyle Y} .